🦀 Rust Macros

Metaprogramming, Procedural Macros, Code Generation, Compile-time Computing

Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
🦀Rust Borrowing
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·22h
📊Static Analysis
I created uroman-rs, a 22x faster rewrite of uroman, a universal romanizer.
reddit.com·23h·
Discuss: r/rust
🦀Rust Borrowing
Project goals update — July 2025
blog.rust-lang.org·2d
🦀Rust Borrowing
The Generativity Pattern in Rust
arhan.sh·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
C and VLAs (Variable Length Arrays)
subethasoftware.com·8h
🔩Systems Programming
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Vibe coding complex changes in Rust
youtube.com·5d·
Discuss: Lobsters
🦀Rust Borrowing
Automated Browser Testing with Claude Code Agents and Browserbase
ritza.co·13h·
Discuss: Hacker News
⚡Proof Automation
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·5d
🔗Functional Compilers
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·9h
🧪Property-Based Testing
An explorer and visualizer for Go concurrency patterns
golangweekly.com·1d
💧Liquid Types
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
Week 31 Status
blogs.gnome.org·2d
🎯Gradual Typing
Software books I wish I could read
buttondown.com·13h·
Discuss: Hacker News
🔄Language Evolution
warp v0.4
seanmonstar.com·15h
🔌Interface Evolution
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Python performance myths and fairy tales
lwn.net·17h·
Discuss: Lobsters, Hacker News
💻Programming languages